package com.googlecode.kipler.satisfiability.completion.rule.formula.uniformnotation;

import com.googlecode.kipler.syntax.formula.Formula;

public interface AlphaFormula {
	void setAlpha(Formula con);
	Formula getAlpha1();
	Formula getAlpha2();
	boolean isValid();
}
